Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
371	PDF Document Add to Reading List Source URL: media.wiley.com Language: English - Date: 2013-08-30 16:16:40 Applied mathematics Logic Formal sciences Automated theorem proving Formal verification Model checking Concurrency Mathematical logic Semantics of programming languages Theoretical computer science Formal methods Logic in computer science
372	ACADEMY OF SCIENCES OF MOLDOVA INSTITUTE OF MATHEMATICS AND COMPUTER SCIENCE Title of manuscript C.Z.U.: 004:82.07 Add to Reading List Source URL: www.cnaa.md Language: English - Date: 2013-10-10 09:27:38 Formal languages Compiler construction Parsing Treebank Dependency grammar Head-driven phrase structure grammar Semantics Natural language processing Valency Linguistics Syntax Computational linguistics
373	ELR[removed]Clarification Document for EHR Technology Certification Add to Reading List Source URL: www.cdc.gov Language: English - Date: 2012-10-09 07:33:34 Semantics Query languages Predicate logic Model theory Formal languages Health Level 7 SQL Extensible Storage Engine Predicate Logic Mathematical logic Computing
374	PDF Document Add to Reading List Source URL: www.cdc.gov Language: English - Date: 2012-10-09 07:33:34 Semantics Query languages Predicate logic Model theory Formal languages Health Level 7 SQL Extensible Storage Engine Predicate Logic Mathematical logic Computing
375	Fine‐Grained Information Access Fine‐Grained Information Access and MT for Patents Junichi TSUJII University of Tokyo, Add to Reading List Source URL: aamtjapio.com Language: English - Date: 2012-05-23 02:20:11 Computational linguistics Formal languages Semantic Web Technical communication Ontology Parsing Semantics National Centre for Text Mining Science Information science Linguistics
376	Extending OCL with Null-References Towards a Formal Semantics for OCL 2.1 Achim D. Brucker1 , Matthias P. Krieger2 , and Burkhart Wolff2 1 2 Add to Reading List Source URL: www.brucker.ch Language: English - Date: 2011-12-04 09:41:42 Formal languages Model theory Data types Type theory Models of computation Object Constraint Language Null ECO Interpretation Logic Mathematics Software engineering
377	Featherweight OCL A Proposal for a Machine-Checked Formal Semantics for OCL 2.5 Achim D. Brucker∗ Fr´ed´eric Tuong‡ Add to Reading List Source URL: www.brucker.ch Language: English - Date: 2014-01-16 16:42:44 Mathematical logic Models of computation ISO standards Object Constraint Language Logic in computer science ECO Denotational semantics Lambda calculus Predicate Mathematics Logic Unified Modeling Language
378	Featherweight OCL A Proposal for a Machine-Checked Formal Semantics for OCL 2.5 Achim D. Brucker∗ Fr´ed´eric Tuong‡ Add to Reading List Source URL: www.brucker.ch Language: English - Date: 2014-01-16 16:42:44 Mathematical logic Models of computation ISO standards Object Constraint Language Logic in computer science ECO Denotational semantics Lambda calculus Predicate Mathematics Logic Unified Modeling Language
379	On the Semantics of Object-oriented Data Structures and Path Expressions Achim D. Brucker1 , Delphine Longuet2 , Frédéric Tuong3 , and Burkhart Wolff2 1 3 Add to Reading List Source URL: www.brucker.ch Language: English - Date: 2013-11-25 13:35:09 Formal languages ECO Unified Modeling Language Symbol Model theory Statistical hypothesis testing Type safety Structure Null Logic Statistics Software engineering
380	In Proceedings of the 29th West Coast Conference on Formal Linguistics (WCCFL-29). Cascadilla Proceedings Project, Somerville, Massachusetts[removed]http://www.lingref.com/cpp/wccfl/29/ Share to Compare: The Mandarin bǐ Add to Reading List Source URL: mitcho.com Language: English - Date: 2011-07-21 11:32:42 Grammar Semantics Predicate Valency Copula Subject Verb phrase Object Language Linguistics Syntax Parts of speech

UPDATE